-- key
local key = KEYS[1]
-- 传入的令牌
local value = ARGV[1]

if (redis.call('get', key) == value) then
    return redis.call('del', key)
else
    return 0
end